" Doron A. Peled" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)

Saddek Bensalem, Doron A. Peled

Категория: Компьютеры

2.38 Mb

#2

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Zohar Manna, Doron A. Peled

Категория: Компьютеры

3.93 Mb

#3

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

2.13 Mb

#4

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ... Lecture Notes in Artificial Intelligence)

Doron A. Peled, Michael Wooldridge

3.68 Mb

#5

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Категория: Computer science, Algorithms

1.88 Mb

#6

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

3.22 Mb

#7

Computer Aided Verification, 16 conf., CAV 2004

Rajeev Alur, Doron A. Peled

Категория: Cs_Computer science, CsLn_Lecture notes

9.94 Mb

#8

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

Категория: CsLn_

3.97 Mb

#9

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

Saddek Bensalem, Doron A. Peled

2.74 Mb

#10

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled, Moshe Y. Vardi

4.63 Mb

#11

Computer Aided Verification, 11 conf., CAV '99

Nicolas Halbwachs, Doron Peled

Категория: Cs_Computer science, CsLn_Lecture notes

5.03 Mb